Parametrized Spaces Are Locally Constant Homotopy Sheaves
نویسنده
چکیده
We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopy-theoretic version of the classical identification of covering spaces with locally constant sheaves. We also prove a new version of the classical result that spaces parametrized over X are equivalent to spaces with an action of ΩX. This gives a homotopy-theoretic version of the correspondence between covering spaces and π1-sets. We then use these two equivalences to study base change functors for parametrized spaces.
منابع مشابه
Parametrized Spaces Model Locally Constant Homotopy Sheaves
We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a homotopy-theoretic version of the classical identification of covering spaces with locally constant sheaves. We also prove a new version of the classical result that...
متن کاملMorita Cohomology and Homotopy Locally Constant Sheaves
We identify Morita cohomology, which is a categorification of the cohmology of a topological space X, with the category of homotopy locally constant sheaves of perfect complexes on X.
متن کاملSheaves of Ordered Spaces and Interval Theories
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. The ambient topos makes available some general homotopical machinery.
متن کاملHomotopy and cohomology of spaces of locally convex curves in the sphere
We discuss the homotopy type and the cohomology of spaces of locally convex parametrized curves γ : [0, 1] → S2, i.e., curves with positive geodesic curvature. The space of all such curves with γ(0) = γ(1) = e1 and γ′(0) = γ′(1) = e2 is known to have three connected components X−1,c, X1, X−1. We show several results concerning the homotopy type and cohomology of these spaces. In particular, X−1...
متن کاملFibrations and Homotopy Colimits of Simplicial Sheaves
We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the no...
متن کامل